A non-splitting theorem in the enumeration degrees
نویسنده
چکیده
We complete a study of the splitting/non-splitting properties of the enumeration degrees below 0′e by proving an analog of Harrington’s non-splitting theorem for the Σ2 enumeration degrees. We show how non-splitting techniques known from the study of the c.e. Turing degrees can be adapted to the enumeration degrees.
منابع مشابه
Exact Pair Theorem for the ω-Enumeration Degrees
In the paper the exact pair theorem for the ω-enumeration degrees is proved. As a corollary an exact pair theorem involving the jump operation for the enumeration degrees is obtained. Mathematics subject classification: 03D30
متن کاملCupping and definability in the local structure of the enumeration degrees
We show that every splitting of 0e in the local structure of the enumeration degrees, Ge, contains at least one low-cuppable member. We apply this new structural property to show that the classes of all K-pairs in Ge, all downwards properly Σ2 enumeration degrees and all upwards properly Σ2 enumeration degrees are first order definable in Ge.
متن کاملEnumeration of digraph embeddings
A cellular embedding of an Eulerian digraph D into a closed surface is said to be directed if the boundary of each face is a directed closed walk in D. The directed genus polynomial of an Eulerian digraph D is the polynomial ΓD(x) = ∑ h≥0 gh(D)x h where gh(D) is the number of directed embeddings into the orientable surface Sh, of genus h, for h = 0, 1, . . . . The sequence {gh(D)|h ≥ 0}, which ...
متن کاملCupping and noncupping in the enumeration
We prove the following three theorems on the enumeration degrees of Σ2 sets. Theorem A: There exists a nonzero noncuppable Σ 0 2 enumeration degree. Theorem B: Every nonzero ∆2 enumeration degree is cuppable to 0e by an incomplete total enumeration degree. Theorem C: There exists a nonzero low ∆2 enumeration degree with the anticupping property.
متن کاملThe Jump Operator on the Ω-enumeration Degrees
The jump operator on the ω-enumeration degrees is introduced in [11]. In the present paper we prove a jump inversion theorem which allows us to show that the enumeration degrees are first order definable in the structureDω ′ of the ω-enumeration degrees augmented by the jump operator. Further on we show that the groups of the automorphisms of Dω ′ and of the enumeration degrees are isomorphic. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 160 شماره
صفحات -
تاریخ انتشار 2009